Results for 'Gemma Torrellas Plans'

954 found
Order:
  1.  29
    Eliciting critical care nurses’ beliefs regarding physical restraint use.Gemma Via-Clavero, Marta Sanjuán-Naváis, Marta Romero-García, Laura de la Cueva-Ariza, Gemma Martínez-Estalella, Erika Plata-Menchaca & Pilar Delgado-Hito - 2019 - Nursing Ethics 26 (5):1458-1472.
    Background: Despite the reported harms and ethical concerns about physical restraint use in the critical care settings, nurses’ intention to apply them is unequal across countries. According to the theory of planned behaviour, eliciting nurses’ beliefs regarding the use of physical restraints would provide additional social information about nurses’ intention to perform this practice. Aim: To explore the salient behavioural, normative and control beliefs underlying the intention of critical care nurses to use physical restraints from the theory of planned behaviour. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  16
    The Effect of Traditional Opposition Games on University Students' Mood States: The Score and Group Type as Key Aspects.María Isabel Cifo Izquierdo, Verónica Alcaraz-Muñoz, Gemma Maria Gea-García, Juan Luis Yuste-Lucas & José Ignacio Alonso Roque - 2021 - Frontiers in Psychology 11.
    Playing traditional games has a direct impact on the mood states of the players, and this is the reason why physical education is an ideal setting for teaching how to recognize them and be aware about how they can swing. The objective of the study was to determine if participating in traditional opposition games causes changes to the participants' mood states. A total of 102 students participated. Each participant recorded the intensity of the mood state experienced at the beginning and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  21
    Raising the Dead? Limits of CPR and Harms of Defensive Practices.George Skowronski, Ian Kerridge, Edwina Light, Gemma McErlean, Cameron Stewart, Anne Preisz & Linda Sheahan - 2022 - Hastings Center Report 52 (6):8-12.
    We describe the case of an eighty‐four‐year‐old man with disseminated lung cancer who had been receiving palliative care in the hospital and was found by nursing staff unresponsive, with clinically obvious signs of death, including rigor mortis. Because there was no documentation to the contrary, the nurses commenced cardiopulmonary resuscitation and called a code blue, resulting in resuscitative efforts that continued for around twenty minutes. In discussion with the hospital ethicist, senior nurses justified these actions, mainly citing disciplinary and medicolegal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  23
    Perinatal Care for Trans and Nonbinary People Birthing in Heteronormative “Maternity” Services: Experiences and Educational Needs of Professionals.Vic Valentine, Isaac Samuels, Laura Godfrey-Isaacs, Adam Jowett, Gemma Pearce, Rebecca Crowther & Sally Pezaro - 2023 - Gender and Society 37 (1):124-151.
    Childbearing trans and nonbinary people are confronted with the heteronormative and cisgender frameworks that underpin “maternity” services. We explored the educational needs of 108 perinatal staff in the United Kingdom as related to the needs of trans and nonbinary service users. Participants were most confident in formulating care plans and least confident about the provision of colleagues’ perinatal care in this context. While the majority of participants were positive toward the trans and nonbinary communities, they considered that those communities (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  59
    A General Characterization of the Variable-Sharing Property by Means of Logical Matrices.Gemma Robles & José M. Méndez - 2012 - Notre Dame Journal of Formal Logic 53 (2):223-244.
    As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necessary property of any relevant logic. In this paper, we shall consider two versions of the vsp, what we label the "weak vsp" (wvsp) and the "strong vsp" (svsp). In addition, the "no loose pieces property," a property related to the wvsp and the svsp, will be defined. Each one of these properties shall generally be characterized by means of a class of logical matrices. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  6.  4
    Making and Unmaking Disability: The Three-Body Approach by Julie E. Maybee.Gemma Lucy Smart - 2024 - Journal of Philosophy of Disability 4:118-124.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. The basic constructive logic for a weak sense of consistency.Gemma Robles & José M. Méndez - 2008 - Journal of Logic, Language and Information 17 (1):89-107.
    In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive logic BKc1 adequate to this sense of consistency in the ternary relational semantics without a set of designated points. Then we show how to define a series of logics extending BKc1 within the spectrum delimited by contractionless minimal intuitionistic logic. All logics defined in the paper are paraconsistent logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  9
    La rappresentazione concomitante: Nietzsche a Basilea.Gemma Bianca Adesso - 2020 - Milano: Mimesis.
  9.  22
    Ipazia di Alessandria.Gemma Beretta & Franco Trabattoni - 1997 - Rivista di Storia Della Filosofia 2.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  18
    The Contribution of Arnaldo Fortini to Franciscan Studies.Gemma Fortini & Finbarr Conroy - 1983 - Franciscan Studies 43 (1):261-278.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. Recorrido inmoralista.Gemma Lacasa - 1999 - Thémata: Revista de Filosofía 23:313-318.
    No categories
     
    Export citation  
     
    Bookmark  
  12. Mathematics and harmony. A possible influence of Pythagorean sources on the music theory of Leibniz.G. Menendez Torrellas - 1999 - Studia Leibnitiana 31 (1):34-54.
     
    Export citation  
     
    Bookmark  
  13.  2
    Paisaje e iberismo en Miguel de Unamuno.Gemma Gordo Piñar - 2024 - Ágora Papeles de Filosofía 43 (2).
    En estas páginas abordamos la importancia del paisaje dentro de la obra unamuniana y la manera en que está conectado con sus planteamientos filosóficos, culturales e identitarios. A medida que Unamuno va conociendo el paisaje y el paisanaje español y portugués, se va modificando su idea de patria, trascendiendo ésta el marco nacional en pro de una unidad mayor: la ibérica. El punto final de este proceso es el iberismo que encarnó y defendió Unamuno, un iberismo de carácter cultural y (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  13
    The Detrimental Effect of Sexual Objectification on Targets’ and Perpetrators’ Sexual Satisfaction: The Mediating Role of Sexual Coercion.Gemma Sáez, María Alonso-Ferres, Marta Garrido-Macías, Inmaculada Valor-Segura & Francisca Expósito - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  8
    The Development of Hermeneutic Prospects.Gemma Corradi Fiumara - 2003 - In Lorraine Code (ed.), Feminist Interpretations of Hans-Georg Gadamer. Pennsylvania State University Press.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  16.  21
    A note on functional relations in a certain class of implicative expansions of FDE related to Brady’s 4-valued logic BN4.Gemma Robles & José M. Méndez - forthcoming - Logic Journal of the IGPL.
    The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some conditions are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  44
    Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value.Gemma Robles, Francisco Salto & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (3):307-325.
    This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  64
    A simple Henkin-style completeness proof for Gödel 3-valued logic G3.Gemma Robles - 2014 - Logic and Logical Philosophy 23 (4):371-390.
    A simple Henkin-style completeness proof for Gödel 3-valued propositional logic G3 is provided. The idea is to endow G3 with an under-determined semantics of the type defined by Dunn. The key concept in u-semantics is that of “under-determined interpretation”. It is shown that consistent prime theories built upon G3 can be understood as u-interpretations. In order to prove this fact we follow Brady by defining G3 as an extension of Anderson and Belnap’s positive fragment of First Degree Entailment Logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  43
    Generalizing the Depth Relevance Condition: Deep Relevant Logics Not Included in R-Mingle.Gemma Robles & José M. Méndez - 2014 - Notre Dame Journal of Formal Logic 55 (1):107-127.
  20.  56
    Relational semantics for the 4-valued relevant logics BN4 and E4.Gemma Robles, José M. Blanco, Sandra M. López, Jesús R. Paradela & Marcos M. Recio - 2016 - Logic and Logical Philosophy 25 (2):173-201.
    The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  37
    The Use of Eye-Movement Desensitization Reprocessing Therapy in Treating Post-traumatic Stress Disorder—A Systematic Narrative Review.Gemma Wilson, Derek Farrell, Ian Barron, Jonathan Hutchins, Dean Whybrow & Matthew D. Kiernan - 2018 - Frontiers in Psychology 9.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  28
    The Assertive Resolution of Conflicts in School With a Gamified Emotion Education Program.Gemma Filella, Agnès Ros-Morente, Xavier Oriol & Jaume March-Llanes - 2018 - Frontiers in Psychology 9.
    Coexistence in schools inevitably carries a higher risk of conflicts among peers. This fact can be detrimental to the well-being and academic achievement of the students. In many developed countries, about 90% of the pupils in compulsory secondary education report witnessing assaults among peers. In this regard, recognizing, controlling and managing emotions is key to ensure a healthy and effective interaction with others. Negative emotions, such as anger, can trigger conflicts or even episodes of violence if not regulated properly. Interactive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  47
    Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.
    ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  24.  52
    Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
    Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  12
    Lifting the curtain: Strategic visibility of human labour in AI-as-a-Service.Gemma Newlands - 2021 - Big Data and Society 8 (1).
    Artificial Intelligence-as-a-Service empowers individuals and organisations to access AI on-demand, in either tailored or ‘off-the-shelf’ forms. However, institutional separation between development, training and deployment can lead to critical opacities, such as obscuring the level of human effort necessary to produce and train AI services. Information about how, where, and for whom AI services have been produced are valuable secrets, which vendors strategically disclose to clients depending on commercial interests. This article provides a critical analysis of how AIaaS vendors manipulate the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  83
    Crossmodal identification.Gemma A. Calvert, Michael J. Brammer & Susan D. Iversen - 1998 - Trends in Cognitive Sciences 2 (7):247-253.
  27.  45
    The basic constructive logic for negation-consistency.Gemma Robles - 2008 - Journal of Logic, Language and Information 17 (2):161-181.
    In this paper, consistency is understood in the standard way, i.e. as the absence of a contradiction. The basic constructive logic BKc4, which is adequate to this sense of consistency in the ternary relational semantics without a set of designated points, is defined. Then, it is shown how to define a series of logics by extending BKc4 up to minimal intuitionistic logic. All logics defined in this paper are paraconsistent logics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  33
    Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz’s 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2014 - Journal of Philosophical Logic 43 (2-3):303-332.
    Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension of Routley and Meyer’s basic positive (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  84
    The Metaphoric Process: Connections Between Language and Life.Gemma Corradi Fiumara - 1995 - New York: Routledge.
    Metaphor is much more than just a linguistic phenomena, argues Gemma Corradi Fiumara, it is in fact the key process by which we construct and develop our ability to understand the world and the people we share it with. Rationality as understood by philosophers has led to a disembodied view of ourselves in which interaction between life and language has been downplayed. By looking at the metaphoric process - in an interpersonal rather than a formal way - its importance (...)
  30.  52
    Basic Quasi-Boolean Expansions of Relevance Logics.Gemma Robles & José M. Méndez - 2021 - Journal of Philosophical Logic 50 (4):727-754.
    The basic quasi-Boolean negation expansions of relevance logics included in Anderson and Belnap’s relevance logic R are defined. We consider two types of QB-negation: H-negation and D-negation. The former one is of paraintuitionistic or superintuitionistic character, the latter one, of dual intuitionistic nature in some sense. Logics endowed with H-negation are paracomplete; logics with D-negation are paraconsistent. All logics defined in the paper are given a Routley-Meyer ternary relational semantics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31. Manejo nutricional de la osteoartrosis canina y felina.Gemma Baciero - 2012 - Argos: Informativo Veterinario 140:52-53.
     
    Export citation  
     
    Bookmark  
  32.  21
    Factors Associated with Good Death.Gemma N. Balein - 2009 - Asian Bioethics Review 1 (3):252-258.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  16
    Tradition in Liberation: Women, the Transnational Family, and Caritas in Veritate.Gemma Tulud Cruz - 2015 - Feminist Theology 24 (1):79-92.
    Caritas in Veritate, the first social encylical of Benedict XVI, tackles the problems of global development and progress towards the common good of all peoples. Taking its cue from the encyclical’s discussion on migration as an ‘aspect of integral human development’ this article examines the experience of contemporary migrant women and the transnational family vis-à-vis Caritas in Veritate. The paper begins with an overview of Caritas in Veritate followed by a look at the effects of the global economy on women (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  58
    (1 other version)Reflexión sobre «La antropología fenomenológica de M. Merleau-Ponty.Gemma Muñoz-Alonso López - 1996 - Anales Del Seminario de Historia de la Filosofía 13 (S1):65-73.
    The article defends the unification of criteria in the style of academic writing and its transmission thru publication. It includes information of the dossier published 2003 by the University of Granada with the title: “Norm evaluation, editorial quality and diffusion of scientific magazines published by University Complutense of Madrid Press”. It focus in one of the aspects most relevant of the publications: the information the authors must have if they want the greater impact and methodological quality of their publications. Along (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35.  32
    Feminist Pedagogical/ Conversational Performance Art: The Work of Mónica Mayer.Gemma Argüello Manresa - 2021 - Aesthetic Investigations 5 (1):99-110.
    This paper shows how the early feminist pedagogical performance artworks of the Mexican artist Mónica Mayer are example of Connective Aesthetics and Conversational Art.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  14
    Hans Maes and Jerrold Levison, eds., Art and Pornography: Philosophical Essays.Gemma Arguello Manresa - 2014 - Philosophy in Review 34 (6):322-324.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Relational Architecture: "Voz Alta" (Loud Voice), Rafael Lozano-Hemmer.Gemma Arguello Manresa - 2015 - In Jakub Petri (ed.), Performing Cultures. Institute of Philosophy of Jagiellonian University. pp. 43-51.
  38.  32
    Towards a Philosophy of Installation Art.Gemma Argüello Manresa - 2020 - Journal of Aesthetics and Art Criticism 78 (3):333-338.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Exilio y analogía.Gemma Gordo Piñar - 2011 - Analogía Filosófica 30 (e30):73-96.
     
    Export citation  
     
    Bookmark  
  40.  27
    A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3.Gemma Robles & José M. Méndez - 2021 - Journal of Logic, Language and Information 30 (3):533-556.
    The present paper is a sequel to Robles et al. :349–374, 2020. https://doi.org/10.1007/s10849-019-09306-2). A class of implicative expansions of Kleene’s 3-valued logic functionally including Łukasiewicz’s logic Ł3 is defined. Several properties of this class and/or some of its subclasses are investigated. Properties contemplated include functional completeness for the 3-element set of truth-values, presence of natural conditionals, variable-sharing property and vsp-related properties.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  26
    Exhaustively Axiomatizing S3°→ and S4°→.Gemma Robles, Francisco Salto & José M. Méndez - 2008 - Teorema: International Journal of Philosophy 27 (2):79-89.
    S3o and S4o are the restrictions with the Converse Ackermann Property of the implicative fragments of Lewis' S3 and S4 respectively. The aim of this paper is to provide all possible axiomatizations with independent axioms of S3o and S4o that can be formulated with a modification of Anderson and Belnap's list of valid entailments.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Intutionistic Propositional Logic with the Converse Ackerman Poperty.Gemma Robles - 2003 - Teorema: International Journal of Philosophy 22 (1-2):46-54.
  43.  66
    Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency.Gemma Robles & José M. Méndez - 2009 - Journal of Logic, Language and Information 18 (3):357-402.
    In a standard sense, consistency and paraconsistency are understood as the absence of any contradiction and as the absence of the ECQ (‘E contradictione quodlibet’) rule, respectively. The concepts of weak consistency (in two different senses) as well as that of F -consistency have been defined by the authors. The aim of this paper is (a) to define alternative (to the standard one) concepts of paraconsistency in respect of the aforementioned notions of weak consistency and F -consistency; (b) to define (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. The non-involutive Routley star: relevant logics without weak double negation.Gemma Robles - 2010 - Teorema: International Journal of Philosophy 29 (3):103-116.
  45.  12
    L’art d’être hôte.Gemma Serrano - 2015 - Noesis 24.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  10
    Penser le politique et ce qui lui échappe: face à l'oeuvre d'Yves Charles Zarka.Gemma Serrano (ed.) - 2018 - Paris: Hermann.
    Quelle conviction précède ce livre? Celle de l'ordre des raisons d'une pensée qui se prolonge et s'outrepasse par l'ordre du dialogue. Dans cet ouvrage, la pensée ne s'expose pas seule, elle vient en seconde position comme réponse à la lecture que des théologiens et des philosophes ont effectuée face à l'oeuvre d'Yves Charles Zarka. Chapitre après chapitre, les lecteurs entendront aussi bien les interpellations d'autres lecteurs que les réponses, réflexions et ouvertures de l'auteur lui-même dans un récit autobiographique, récit fort (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Mathematik und Harmonie. Über den vermuteten Pythagoreismus von Leibniz.Gabriel Menéndez Torrellas - 1999 - Studia Leibnitiana 31 (1):34-54.
    The music theory of Leibniz was thought to be by most of the scholars a part of the Pythagorean philosophical tradition. This opinion was maintained without a founded knowledge of the Pythagorean sources nor a proper consideration of the contemporary scientific background, upon which Leibniz wrote. The purpose of this article consists of analysing to what extent the Pythagorean tradition in music theory had still an influence in a philosophical age, whose music had already thoroughly abandoned the main statements of (...)
    No categories
     
    Export citation  
     
    Bookmark  
  48.  87
    Curry’s Paradox, Generalized Modus Ponens Axiom and Depth Relevance.Gemma Robles & José M. Méndez - 2014 - Studia Logica 102 (1):185-217.
    “Weak relevant model structures” (wr-ms) are defined on “weak relevant matrices” by generalizing Brady’s model structure ${\mathcal{M}_{\rm CL}}$ built upon Meyer’s Crystal matrix CL. It is shown how to falsify in any wr-ms the Generalized Modus Ponens axiom and similar schemes used to derive Curry’s Paradox. In the last section of the paper we discuss how to extend this method of falsification to more general schemes that could also be used in deriving Curry’s Paradox.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49.  44
    Routley-Meyer ternary relational semantics for intuitionistic-type negations.Gemma Robles & José M. Méndez - 2018 - London, United Kingdom: Elsevier, Academic Press. Edited by José M. Méndez.
    Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations (...)
  50.  30
    A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic.Gemma Robles & José M. Méndez - 2022 - Logic Journal of the IGPL 30 (1):21-33.
    A classical result by Słupecki states that a logic L is functionally complete for the 3-element set of truth-values THREE if, in addition to functionally including Łukasiewicz’s 3-valued logic Ł3, what he names the ‘$T$-function’ is definable in L. By leaning upon this classical result, we prove a general theorem for defining binary expansions of Kleene’s strong logic that are functionally complete for THREE.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 954